Rearranging Harder Formulae